home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 3: Developer Tools / Linux Cubed Series 3 - Developer Tools.iso / devel / lang / eiffel / smalleif.97 / se.t / SmallEiffel / lib_test / expanded2.e < prev    next >
Encoding:
Text File  |  1996-05-02  |  398 b   |  29 lines
  1. -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) 
  2. -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
  3. --
  4. expanded class EXPANDED2
  5.    --
  6.    -- For use of test_expanded*.e
  7.    --
  8.  
  9. creation
  10.    make
  11.    
  12. feature {ANY}
  13.    
  14.    x: INTEGER;
  15.    
  16.    make is
  17.       do
  18.      x := 2;
  19.       end;
  20.    
  21.    set_x(v: INTEGER) is
  22.       do
  23.      x := v;
  24.       ensure
  25.      x = v;
  26.       end;
  27.    
  28. end -- EXPANDED2
  29.